81. First order categorical logic : model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه پردیس علوم دانشگاه تهران (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
9
.
7
.
M3
1977
82. First order categorical logic: model-theoretical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
83. First order categorical logic: model-theorical methods in the theory of topoi and related categories
پدیدآورنده : Makkai, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Model theory,، Categories )Mathematics(,، Toposes
رده :
QA
3
.
L28
no
.
611
84. Functorial Model Theory :
پدیدآورنده : Cyrus F Nourani
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
رده :
QA169
.
C978
2014
85. Generalized Expected Utility Theory: the Rank - Dependent Model
پدیدآورنده : Quiggin, John
کتابخانه: كتابخانه دانشگاه مفيد (قم)
موضوع :
رده :
HB
201
.
Q5
G4
1998
86. Group theory for the standard model of particle physics and beyond
پدیدآورنده : / Ken J.Barnes
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه اراک (مرکزی)
موضوع : Group theory,Quantum theory,Particle range
رده :
539
.
725
B261g
87. Group theory for the standard model of particle physics and beyond
پدیدآورنده : Barnes, Ken J., 8391-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Group theory,، Quantum theory,، Particle range )Nuclear physics(
رده :
QC
174
.
17
.
G7B36
88. Group theory for the standard model of particle physics and beyond
پدیدآورنده : / Ken J. Barnes
کتابخانه: کتابخانه مرکزی، مرکز اسناد و تامین منابع علمی دانشگاه صنعتی سهند (آذربایجان شرقی)
موضوع : Group theory.,Quantum theory.,Particle range (Nuclear physics)
رده :
QC174
.
17
.
G7B37
2010
89. Group theory for the standard model of particle physics and beyond
پدیدآورنده : Barnes, Ken J.
موضوع : ، Group theory,، Quantum theory,، Particle range )Nuclear physics(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
90. Group theory for the standard model of particle physics and beyond
پدیدآورنده : Barnes, Ken J.
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Group theory,، Quantum theory,، Particle range )Nuclear physics(
رده :
QC
174
.
17
.
G7
B37
2010
91. Group theory for the standard model of particle physics and beyond /
پدیدآورنده : Ken J. Barnes
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Group theory,Particle range (Nuclear physics),Quantum theory
رده :
QC174
.
17
.
G7
B37
2010
92. Groups and model theory : in honor of Rudiger Gobel's 70th birthday, May 30-June 3, 2011, Conference Center "Die Wolfsburg", Mulheim an der Ruhr, Germany
پدیدآورنده : Lutz Strungmann ... ]et al.[, editors
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Group theory,Congresses ، Model theory
رده :
QA
174
.
G775
93. INVERSE PROBLEM THEORY:METHODS FOR DATA FITTING AND MODEL PARAMETER ESTIMATION C.2
پدیدآورنده :
موضوع :
۴ نسخه از این کتاب در ۱ کتابخانه موجود است.
94. Information sources and services: theory and practice (paper VI and VII of UGC model curriculum)
پدیدآورنده : / P. S. G. Kumar.
کتابخانه: سازمان اسناد و كتابخانه ملی جمهوری اسلامی ایران (تهران)
موضوع : ک‍ت‍اب‍داری -- خ‍دم‍ات اطلاع‌رس‍ان‍ی.,ک‍ت‍اب‍خ‍ان‍ه‌ه‍ا -- منابع ش‍ب‍ک‍ه کامپیوتری.
رده :
BibZA
۳۱۵۷
/
ک
۹
ال
ف
۹ ۱۳۸۳
95. Institution-independent model theory
پدیدآورنده : Diaconescu, Razvan
کتابخانه: كتابخانه مركزی دانشگاه صنعتي شريف (تهران)
موضوع : ، Model theory,، Logic, Symbolic and mathematical
رده :
QA
9
.
7
.
D53
2008
96. Introduction to mathematical logic : set theory, computable functions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه حکیم سبزواری (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
97. Introduction to mathematical logic : set theory computable functions model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M265
1979
98. Introduction to mathematical logic, set theory, computable functions, model theory
پدیدآورنده : Malitz, J.
موضوع : ، Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
99. Introduction to mathematical logic: set theory, computable funtions, model theory
پدیدآورنده : Malitz, Jerome
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
M26
100. Introduction to model theory
پدیدآورنده : Rothmaler, Philipp
کتابخانه: کتابخانه مرکزی دانشگاه صنعتی شاهرود (سمنان)
موضوع : ، Model theory
رده :
QA
9
.
7
.
R68
